$\forall$$a$, $b$, $c$:$\mathbb{Z}$. imax($a$;$b$)+$c$ = imax($a$+$c$;$b$+$c$)